Method-Specific Knowledge Compilation
نویسندگان
چکیده
Generality and scale are important but difficult issues in knowledge engineering. At the root of the difficulty lie two challenging issues: how to accumulate huge volumes of knowledge and how to support heterogeneous knowledge and processing. One approach to the first issue is to reuse legacy knowledge systems, integrate knowledge systems with legacy databases, and enable sharing of the databases by multiple knowledge systems. We present an architecture called HIPED for realizing this approach. HIPED converts the second issue above into a new form: how to convert data accessed from a legacy database into a form appropriate to the processing method used in a legacy knowledge system. One approach to this reformed issue is to use method-specific compilation of data into knowledge. We describe an experiment in which a legacy knowledge system called Interactive Kritik is integrated with an ORACLE database. The experiment indicates the computational feasibility of method-specific data-to-knowledge compilation.
منابع مشابه
Incremental Knowledge Compilation Using the Extension Rule
Knowledge compilation by using the extension rule (KCER) has been recognized as a novel compilation approach, although this method can only deal with static knowledge bases. This paper proposes a novel incremental knowledge compilation method by using the extension rule so that it can tackle knowledge compilation problems in the dynamic environment. The method does not recompile the whole knowl...
متن کاملMethod-Specific Knowledge Compilation: Towards Practical Design Support Systems
Modern knowledge systems for design typically employ multiple problem-solving methods which in turn use diierent kinds of knowledge. The construction of a heterogeneous knowledge system that can support practical design thus raises two fundamental questions: how to accumulate huge volumes of design information, and how to support heterogeneous design processing? Fortunately, partial answers to ...
متن کاملCompiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics
An analysis of the design plans in the Pride expert system shows that they integrate knowledge about structure and functionality of artifacts as well as problem-solving heuristics A method is presented by which such plans can be automatically generated by compiling knowledge about artifacts, problem solving heuristics, and characteristics of specific problems. Knowledge compilation allows the c...
متن کاملA New Method for Consequence Finding and Compilation in Restricted Languages
SFK (skip-filtered, kernel) resolution is a new method for finding "interesting" consequences of a first order clausal theory E, namely those in some restricted target language £T. In its more restrictive form, SFK resolution corresponds to a relatively efficient SAT method, directional resolution; in its more general form, to a full prime implicate algorithm, namely Tison’s. It generalizes bot...
متن کاملExact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case
Forward chaining is an inference algorithm based on modus ponens which is widely used but unfortunately incomplete with respect to the usual boolean logic. A solution to this incompleteness is to compile the knowledge base so that forward chaining becomes complete for any base of facts. This compilation is called achievement and was so far restricted to propositional calculus. In this paper, we...
متن کامل